• 検索結果がありません。

条件付き確率 P (X = x | Y = y), P (Y = y | X = x)

N/A
N/A
Protected

Academic year: 2021

シェア "条件付き確率 P (X = x | Y = y), P (Y = y | X = x)"

Copied!
14
0
0

読み込み中.... (全文を見る)

全文

(1)

ローカルサーチと MCMC

樋口さぶろお

龍谷大学大学院理工学研究科数理情報学専攻

理論物理学特論 L10(2015-12-10 Thu)

最終更新: Time-stamp: ”2015-12-15 Tue 19:31 JST hig”

今日の目標

1 Local search のアルゴリズムを説明できる

2 Metropolis 法によるMCMCの アルゴリズムを 説明できる

3 Bayesの公式が説明できる

http://hig3.net

(2)

略解:一般化線型混合モデル

L09-Q1

Quiz解答:一般化線型混合モデル(2項分布・対数リンク・正規分布)

p(y= 11, s) =

+

−∞ q1(1−q)0 1

2πs2er

2 2s2 dr

=

+

−∞

1 1 + e1+r)

1

2πs2er

2 2s2 dr, p(y= 01, s) =

+∞

−∞

1 1 + e+(β1+r)

1

2πs2er

2 2s2 dr.

β1= 0 のとき,もちろん p(y = 1|0, s) =p(y= 0|0, s) = 12 となる.

(3)

ローカルサーチとMCMC 条件付き確率

ここまで来たよ

1 略解:一般化線型混合モデル

2 ローカルサーチとMCMC 条件付き確率

ベイズの公式

(4)

ローカルサーチとMCMC 条件付き確率

同時確率と周辺確率 ( 復習 )

同時分布 P(X=x, Y =y).

意味X=xかつY =y

性質

x,y

P(X =x, Y =y) = 1

.

周辺分布 P(X=x), P(Y =y).

定義

P(X=x) =

y

P(X =x, Y =y),

P(Y =y) =

x

P(X =x, Y =y)

.

意味Y は問わずX =x,X は問わずY =y.

性質

x

P(X =x) = 1,

y

P(Y =y) = 1

(5)

ローカルサーチとMCMC 条件付き確率

条件付き確率 P (X = x | Y = y), P (Y = y | X = x)

定義(同時確率と周辺確率の比)

P(X=x|Y =y) =P(X=x, Y =y) P(Y =y) , P(Y =y|X=x) =P(X=x, Y =y)

P(X=x) .

意味 条件Y =yのもとでX=x,条件 X=xのもとでY =y.

性質1 ∑

xP(X=x|Y =y) = 1,

yP(Y =y|X =x) = 1.

性質1’∑

yP(X=x|Y =y)̸= 1,

xP(Y =y|X=x)̸= 1.

性質2 定義を通分して,両辺に

y すると,

P(X=x|Y =y)P(Y =y) =P(X=x, Y =y) P(X=x) =

y

P(X=x|Y =y)P(Y =y)

(6)

ローカルサーチとMCMC 条件付き確率

L10-Q1

Quiz(条件付き分布)

2次元の離散型確率変数(X, Y)を考える. 同時分布 P(X=x, Y =y) =fXY(x, y) は次の表で与えられる.

y\x 2 3

3 2/12 1/12

7 5/12 4/12

1 周辺分布 P(X=x), P(Y =y) を求めよう.

2 条件付き分布 P(X =x|Y = 3), P(Y =y|X= 3)を求めよう.

(7)

ローカルサーチとMCMC ベイズの公式

ここまで来たよ

1 略解:一般化線型混合モデル

2 ローカルサーチとMCMC 条件付き確率

ベイズの公式

(8)

ローカルサーチとMCMC ベイズの公式

ベイズの公式

P(X=x|Y =y) = P(Y =y|X =x)P(X=x)

xP(Y =y|X =x)P(X=x). P(Y =y|X=x) = P(X =x|Y =y)P(Y =y)

yP(X=x|Y =y)P(Y =y).

P(X=x|Y =y)P(Y =y|X=x) で書き表す式,およびその逆の式.

(9)

ローカルサーチとMCMC ベイズの公式

L10-Q2

Quiz(ベイズの公式)

確率変数 X は値x= 1,2,確率変数Y は値y= 10,20 をとり,

P(X =x) = {3

4 (x= 1)

1

4 (x= 2), P(Y =y|X = 1) =

{7

10 (y= 10)

3

10 (y= 20), P(Y =y|X = 2) =

{2

5 (y = 10)

3

5 (y = 20).

1 同時確率を求めて表に書こう.

2 P(X =x|Y = 10) を求めよう.

(10)

ローカルサーチとMCMC ベイズの公式

ベイズ的な考え方

事後確率 P(X=x|Y =y) ←− 事前確率 P(X=x)

情報 Y =y 主観確率

ベイズの定理=ベイズの公式(+ニュアンス?)

(11)

ローカルサーチとMCMC ベイズの公式

L10-Q3

(12)

ローカルサーチとMCMC ベイズの公式

Quiz( ベイズの公式 )

確率変数 X は値x= 1,2,確率変数Y は値y= 10,20 をとり,

P(X =x) = {3

4 (x= 1)

1

4 (x= 2), P(Y =y|X = 1) =

{7

10 (y= 10)

3

10 (y= 20), P(Y =y|X = 2) =

{2

5 (y = 10)

3

5 (y = 20).

1 同時確率を求めて表に書こう.

2 P(X =x|Y = 10) を求めよう.

(13)

ローカルサーチとMCMC ベイズの公式

L10-Q4

(14)

ローカルサーチとMCMC ベイズの公式

Quiz( ベイズの公式 )

外見で区別できない,品種1(甘い)と品種2(渋い)の柿がかごに入って いる.

品種1は,確率0.95で赤に,確率0.05で黄色になる. 品種2,確率0.125で赤に,確率0.875で黄色になる.

確率変数 X, Y を用いて,品種1(甘い)X= 1,品種2(渋い)X = 2, 赤いを Y = 10,黄色いを Y = 20 と表現する.

1 問題文からP(Y =y|X=x)を読み取ろう.

2 かごの柿の1/5が甘い柿であるとする. いま,無作為に1個の柿を取 りだしたところ,赤い柿だった. ベイズの公式を使って,取り出した 赤い柿が甘い確率 P(X= 1|Y = 10)を求めよう.

3 仮にかごの柿の1/5が渋い柿であるとする. いま,無作為に1個の柿 を取りだしたところ,黄色い柿だった. ベイズの公式を使って,取り 出した黄色い柿が渋い確率を求めよう.

参照

関連したドキュメント

In [1, 2, 17], following the same strategy of [12], the authors showed a direct Carleman estimate for the backward adjoint system of the population model (1.1) and deduced its

We provide an accurate upper bound of the maximum number of limit cycles that this class of systems can have bifurcating from the periodic orbits of the linear center ˙ x = y, y ˙ =

In the second section, we study the continuity of the functions f p (for the definition of this function see the abstract) when (X, f ) is a dynamical system in which X is a

We study a Neumann boundary-value problem on the half line for a second order equation, in which the nonlinearity depends on the (unknown) Dirichlet boundary data of the solution..

Lang, The generalized Hardy operators with kernel and variable integral limits in Banach function spaces, J.. Sinnamon, Mapping properties of integral averaging operators,

のようにすべきだと考えていますか。 やっと開通します。長野、太田地区方面  

Algebraic curvature tensor satisfying the condition of type (1.2) If ∇J ̸= 0, the anti-K¨ ahler condition (1.2) does not hold.. Yet, for any almost anti-Hermitian manifold there

In this paper, for each real number k greater than or equal to 3 we will construct a family of k-sum-free subsets (0, 1], each of which is the union of finitely many intervals